Revision: tla-tools--devo--0--patch-24
Archive: miles@gnu.org--gnu-2005
Creator: Miles Bader <miles@gnu.org>
Date: Mon May 30 13:20:36 EDT 2005
Standard-date: 2005-05-30 17:20:36 GMT
Modified-files: ChangeLog tagline-funs.awk
New-patches: miles@gnu.org--gnu-2005/tla-tools--devo--0--patch-24
Summary: tagline-funs.awk: Add "gdb" extension

